home *** CD-ROM | disk | FTP | other *** search
- %A C. A. R. Hoare
- %T Communicating Sequential Processes
- %C Englewood Cliffs, NJ
- %I Prentice-Hall
- %D 1985
- %X Must reading for those interested in distributed processing. High
- level discussions of various operators one might think about in the
- message passing realm. Discusses failures.
-
- %A Mamoru Maekawa
- %A Arthur E. Oldehoeft
- %A Rodney R. Oldehoeft
- %T Operating system: advanced concepts
- %C Menlo Park, CA
- %I The Benjamin/Cummings Publishing Company, Inc.
- %D 1986
- %X Excellent reference for a variety of subjects. Discusses parallel
- and distributed systems from several viewpoints. Includes some good
- discussions on distributed databases. Readable for computer scientists;
- others might have to review some operating system terminology
-
- %A Robin Milner
- %T A calculus of communicating systems
- %C Berlin
- %I Springer-Verlag
- %S Lecture Notes in Computer Science
- %N 92
- %X Classical text, accessible with little computer science background.
-
- %A G. R. Andrews
- %A F. B. Schneider
- %T Concepts and notations for concurrent programming
- %J Comp. Sur.
- %V 15
- %N 1
- %P 3-43
- %D 1983
- %X
- This is not a book, but probably the best place to start in understanding
- concurrency. Well written, though dated a bit.
-
- %A Michael J. Quinn
- %T Designing Efficient Algorithms for Parallel Computers
- %C New York
- %P McGraw-Hill
- %D 1987
- %X Have used in classes. Readable.
-
- %A Gul A. Agha
- %T Actors: a model of concurrent computation in distributed systems
- %C Cambridge, MA
- %I MIT Press
- %D 1986
- %X Now considered a classical text.
-
- %A Robert H. Kuhn
- %A David A. Padua, eds.
- %T Tutorial on Parallel Processing
- %I IEEE
- %D August 1981
- %X From your list.
-
- %A Howard Barringer
- %T A Survey of Verification Techniques for Parallel Programs
- %C Berlin
- %I Springer-Verlag
- %S Lecture Notes in Computer Science
- %N 191
- %D 1985
- %X For the theoretical at heart. Gives insights into what is so hard about
- distributed and parallel processing. Compares many different approaches.
-
- %A T. W. Pratt
- %T Programming Languages: Design and Implementation
- %C Englewood Cliffs, NJ
- %I Prentice-Hall
- %D 1984
- %X A good book for those without a background in programming languages.
- Primarily discusses uniprocessor languages; gives examples of many different
- languages. Help non programming language researchers understand the issues.
-
- %A Quinton F. Stout
- %A Russ Miller
- %T Parallel Algorithms for Regular Architectures
- %I MIT Press
- %D 1988
- %X No direct experience, but I've heard good things.
-
- %T Algebraic Theory of Processes
- %A Michael Hennessey
- %I MIT Press
- %D 1988
- %X An attempt to look at problem of concurrency from process/algebra view.
-
- %T Parallel Program Design: a foundation
- %A K. Mani Chandy
- %A Jayadev Misra
- %I McGraw-Hill
- %D 1988
- %X Included for completeness.